Category of preordered sets
- 预序范畴(预序范畴是以预序集为对象、单调函数为态射的范畴。任意单调函数的复合仍是单调函数,满足构成范畴的前提条件)
Category of preordered sets
-
abstract:
The category Ord has preordered sets as objects and monotonic functions as morphisms. This is a category because the composition of two monotonic functions is monotonic and the identity map is monotonic.
以上来源于:
WordNet